https://dasbestelexikon.de/cs/wiki/Marin_Mersenne